|
|
Economic evaluation of wood buildings
Gregorová, Lucie ; Aigel, Petr (referee) ; Výskala, Miloslav (advisor)
The aim of the bachelor thesis is comparing timber frame construction and masonry building in the first and second part of building life cycle. The selected factors of these parts are costs and time-consuming of structure, comparing the masses of structures, their thermal insulation properties and their fire resistance. In the end, there is a comparison of costs of construction and construction lead-time for timber structure and masonry building.
|
|
|
SOFAnet 2
Papež, Michal ; Bureš, Tomáš (advisor) ; Malohlava, Michal (referee)
SOFAnet 2 MASTER THESIS Michal Papež Department of Distributed and Dependable Systems, 2011 Abstract: The aim of SOFAnet 2, as a network environment of the SOFA 2 com- ponent system, is to exchange components between SOFAnodes in a simple and rational way. Current concerns of the SOFA 2 users about software distribution are analyzed and discussed. New high level concepts of Applications and Components are defined together with their mapping to SOFA 2 first class concepts, means of distribution and removal. Furthermore a methodology to keep SOFA 2 repository clean is introduced. All new elements as concepts and operations are studied using a formal set model. The proposed concept of SOFAnet 2 is proved by a prototype implementation. 1
|
|
|
State Space Symmetry Reduction for TBP Analysis
Černý, Ondřej ; Šerý, Ondřej (advisor) ; Poch, Tomáš (referee)
Threaded Behavioral Protocols (TBP) is a specification language for modelling the behavior of software components. This thesis aims at an analysis of TBP specifications within environments which involve an unbounded replication of threads. Such a TBP specification - together with a model of the possible environments - induces infinite state space which contains a vast amount of symmetries caused by thread replication. A model checking technique addressing such a state space and reducing the symmetries by using symbolic counter abstraction is proposed. In order to utilize the symbolic counter abstraction, the properties of the TBP specifications (called provisions) are converted into thread state reachability properties. The proposed analysis is safe in the sense that it discovers all errors in the model. On the other hand, it may yield spurious errors, i.e., errors that do not correspond to any real error in the model. The spurious errors are well identified and further possibilities to reduce them are outlined. Beyond the scope of the specific specifications, this work may also present a small step towards supporting dynamic thread creation in TBP.
|
|
|
The Progress run-time architecture
Pop, Tomáš
This thesis is a part of a bigger research vision called Progress which aims at providing component based techniques for the development of real-time embedded systems. Progress introduces the concept of a virtual node in order to increase the effectiveness of constructed systems and improve hardware abstraction. The thesis starts research of the runtime structures of the Progress component model. The thesis aims at identifying necessary questions about the runtime internal structure of virtual nodes and about the supporting mechanisms needed to run virtual nodes on destination hardware. A part of this thesis is also a sample implementation of the virtual node runtime environment covering local and Ethernet communication, event driven and timer driven tasks, and multiple computational nodes.
|
|
|
Economic evaluation of wood buildings
Gregorová, Lucie ; Aigel, Petr (referee) ; Výskala, Miloslav (advisor)
The aim of the bachelor thesis is comparing timber frame construction and masonry building in the first and second part of building life cycle. The selected factors of these parts are costs and time-consuming of structure, comparing the masses of structures, their thermal insulation properties and their fire resistance. In the end, there is a comparison of costs of construction and construction lead-time for timber structure and masonry building.
|
|
|
DEECo Component Model Framework on Android Mobile Platform
Sipták, Daniel ; Bureš, Tomáš (advisor) ; Gemrot, Jakub (referee)
Presented master thesis is dedicated to creation of DEECo component model supported on Android platform. Enabling distributed system of inter-connected devices to run DEECo framework. For this purpose jDEECo implementation of DEECo component model is ported to Android platform and synchronization solution creating common state is done on top of JGroups toolkit. Possible solutions are presented and implementation of created solution is described. At last demo application showing usage of created framework was developed and evaluated.
|
|
|
Deployment of SOFA 2 applications for the LeJOS platform
Baquero Forero, Juan Rodrigo ; Hnětynka, Petr (advisor) ; Bureš, Tomáš (referee)
Embedded systems are ubiquitous in our society, they control vehicles, aircrafts and medical instruments. Some of these systems are distributed, which means they are part of a network and their operation is coordinated. Software development for such systems can be a difficult problem. In this thesis we propose SOFA 2 component system to simplify the software development for distributed embedded systems where the distribution of components is handled entirely by the component system. Lego Mindstorms is proposed as the model of a distributed embedded system. A runtime environment for SOFA 2 and a demo application were developed to evaluate the approach. The proposed approach delivers seamless component distribution. Nevertheless, non-functional requirements such as memory, program size or disk space must be included in the implementation to fully benefit from a component system.
|
|
|
Components and Services in Resource-Constrained Environments
Pop, Tomáš ; Plášil, František (advisor) ; Ježek, Kamil (referee) ; Carlson, Jan (referee)
of Doctoral Thesis Title: Components and Services in Resource-Constrained Envi- ronments Author: Tomáš Pop tomas.pop@d3s.mff.cuni.cz Department: Department of Distributed and Dependable Systems Faculty of Mathematics and Physics Charles University in Prague Advisor: Prof. František Plášil plasil@d3s.mff.cuni.cz Abstract Appliances of every day use such as consumer electronics, automotive and telecommunication devices as well as various kinds of control systems have be- come a common and important part of our everyday lives. In comparison to general-purpose desktop systems, they are limited in terms of various resources, for example memory, CPU power, and battery capacity. Component-based soft- ware engineering is a well-established development technique, which has found its way to industry and has been successfully used for a long time in multiple do- mains. However, the industrially adopted component frameworks were designed for general-purpose systems and they can be hardly used in resource-constrained environments. In the thesis, we explore the potential of component-based system engineer- ing in resource-constrained environments. Stemming from a survey of existing component frameworks targeted to this domain, we identify the most important approaches to overcome resource constraints in...
|
|
|
State Space Symmetry Reduction for TBP Analysis
Černý, Ondřej ; Šerý, Ondřej (advisor) ; Poch, Tomáš (referee)
Threaded Behavioral Protocols (TBP) is a specification language for modelling the behavior of software components. This thesis aims at an analysis of TBP specifications within environments which involve an unbounded replication of threads. Such a TBP specification - together with a model of the possible environments - induces infinite state space which contains a vast amount of symmetries caused by thread replication. A model checking technique addressing such a state space and reducing the symmetries by using symbolic counter abstraction is proposed. In order to utilize the symbolic counter abstraction, the properties of the TBP specifications (called provisions) are converted into thread state reachability properties. The proposed analysis is safe in the sense that it discovers all errors in the model. On the other hand, it may yield spurious errors, i.e., errors that do not correspond to any real error in the model. The spurious errors are well identified and further possibilities to reduce them are outlined. Beyond the scope of the specific specifications, this work may also present a small step towards supporting dynamic thread creation in TBP.
|
|
|
SOFAnet 2
Papež, Michal ; Bureš, Tomáš (advisor) ; Malohlava, Michal (referee)
SOFAnet 2 MASTER THESIS Michal Papež Department of Distributed and Dependable Systems, 2011 Abstract: The aim of SOFAnet 2, as a network environment of the SOFA 2 com- ponent system, is to exchange components between SOFAnodes in a simple and rational way. Current concerns of the SOFA 2 users about software distribution are analyzed and discussed. New high level concepts of Applications and Components are defined together with their mapping to SOFA 2 first class concepts, means of distribution and removal. Furthermore a methodology to keep SOFA 2 repository clean is introduced. All new elements as concepts and operations are studied using a formal set model. The proposed concept of SOFAnet 2 is proved by a prototype implementation. 1
|
guest ::
